*, body{background-color:#fff;font-size:10pt;font-family:consolas;}
strong{font-size:140%;}
#jinfo{margin:10px;}
